дедуктивная оценка

дедуктивная оценка
deductive evaluation мат.

Русско-английский научно-технический словарь Масловского. 2015.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез и др. посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а… …   Философская энциклопедия

  • ГИПОТЕЗА — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… …   Философская энциклопедия

  • ГИПОСТАЗИРОВАНИЕ — (от греч. hypostasis сущность, субстанция) логическая (семантическая) ошибка, заключающаяся в опредмечивании абстрактных сущностей, в приписывании им реального, предметного существования. Эту ошибку допускает, напр., тот, кто считает, что наряду… …   Философская энциклопедия

  • ТЕОРИЯ ПОЗНАНИЯ — Гносеология (от греч. gno sis знание, logos слово, понятие), Эпистемолог и я (от греч. episteme знание) раздел философии, исследующий природу человеческого познания, его источники и предпосылки, отношение знания к предмету познания, условия… …   Философская энциклопедия

  • ЛОГИКА ИНДУКТИВНАЯ — раздел логики, в к ром изучаются логич. процессы перехода от единичного знания к общему, В наст. время анализ этих процессов вошел в круг рассмотрения вероятностной логики как частный случай решения более широкой задачи: определения степени… …   Философская энциклопедия

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

  • КОМИССИЯ ПО МЕЖДУНАРОДНОЙ ТОРГОВЛЕ США — UNITED STATES INTERNATIONAL TRADE COMMISSION USITCНезависимое агентство США, выполняющее исследования, составляющее отчеты и вырабатывающее рекомендации в области международной торговли и тарифов для президента, Конгресса и др. правительственных… …   Энциклопедия банковского дела и финансов

  • ГИПОТЕЗА — (от греч. предположение) 1) подсистема теоретического знания; 2) форма развития знания (научного, философского, практического и т. д.). Г. это суждение, истинностное значение которого является неопределенным. Т. широко используются в любой сфере… …   Современный философский словарь

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”